Design-driven Development of Dependable Applications: A Case Study in Avionics

International audienceMaking an application dependable demands that its functional and non-functional requirements be stringently fulfilled throughout its development process. In this context, a design-driven development approach has the key advantage of enabling requirements to be traced from their high-level design forms to the resulting executable artifact. However, because such approaches are mostly general purpose, they provide little design guidance, if any. This situation makes unpredictable the coherence and the conformance of an application with respect to its requirements. To address this situation, we propose an approach that leverages a design-driven development process dedicated to a specific paradigm. This approach guides the verification of the coherence and conformance of an application throughout its development. We demonstrate the benefits of our approach by applying it to a realistic case study in the avionics domain

A Nup133-dependent NPC-anchored network tethers centrosomes to the nuclear envelope in prophase

Nup133 links CENP-F, NudE/EL, and the dynein/dynactin complex to anchor centrosomes to the nuclear membrane

A first update on mapping the human genetic architecture of COVID-19

peer reviewe

Design-driven Development of Safety-critical Applications: A Case Study In Avionics

Abstract—Safety-critical applications have to fulfill stringent requirements, both functional and nonfunctional. These requirements have to be coherent with each other and must be preserved throughout the software development process. In this context, a design-driven development approach can play a critical role. However existing design-driven development approaches are often general purpose, providing little, if any, conceptual framework to guide the development. The resulting design scope thus becomes largely unpredictable, leading to inconsistencies. In this paper, we propose a design-driven methodology that relies on a specific development paradigm. This development paradigm provides a conceptual framework that guides the stakeholders at each development stage. Based on this paradigm, a tool suite provides development support dedicated to each development stage. We demonstrate the benefits of this methodology with a realistic case study in the avionics domain. I

Functional insights from the GC-poor genomes of two aphid parasitoids, <em>Aphidius ervi</em> and <em>Lysiphlebus fabarum</em>

Background Parasitoid wasps have fascinating life cycles and play an important role in trophic networks, yet little is known about their genome content and function. Parasitoids that infect aphids are an important group with the potential for biocontrol, and infecting aphids requires overcoming both aphid defenses and their defensive endosymbionts. Results We present the de novo genome assemblies, detailed annotation, and comparative analysis of two closely related parasitoid wasps that target pest aphids: Aphidius ervi and Lysiphlebus fabarum (Hymenoptera: Braconidae: Aphidiinae). The genomes are small (139 and 141 Mbp), highly syntenic, and the most AT-rich reported thus far for any arthropod (GC content: 25.8% and 23.8%). This nucleotide bias is accompanied by skewed codon usage, and is stronger in genes with adult-biased expression. AT-richness may be the consequence of reduced genome size, a near absence of DNA methylation, and age-specific energy demands. We identify expansions of F-box/Leucine-rich-repeat proteins, suggesting that diversification in this gene family may be associated with their broad host range or with countering defenses from aphids’ endosymbionts. The absence of some immune genes (Toll and Imd pathways) resembles similar losses in their aphid hosts, highlighting the potential impact of symbiosis on both aphids and their parasitoids. Conclusions These findings are of fundamental interest for insect evolution and beyond. This will provide a strong foundation for further functional studies including coevolution with respect to their hosts, the basis of successful infection, and biocontrol. Both genomes are available at https://bipaa.genouest.org